<html>
<head><meta charset="utf-8"><title>A new rustbot ping for this team? · rustdoc · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/index.html">rustdoc</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html">A new rustbot ping for this team?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="227581044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/A%20new%20rustbot%20ping%20for%20this%20team%3F/near/227581044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html#227581044">(Feb 24 2021 at 10:59)</a>:</h4>
<p>Hi team, I was thinking to add a new rustbot capability: <code>@rustbot ping rustdoc</code> to alert the rustdoc team of issues of interest.<br>
For this reason I'd keep this trigger ping manual and not automatic.</p>
<p>Use case: ping the team for issues that have high priority</p>
<p>Text of the ping message could be something along the line of:</p>
<div class="codehilite"><pre><span></span><code>[ping.rustdoc]
message = &quot;Hey Rustdoc team! This issue has been labeled for closer inspection.&quot;
label = &quot;T-rustdoc&quot;
</code></pre></div>
<p>Opinions?</p>



<a name="227588358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/A%20new%20rustbot%20ping%20for%20this%20team%3F/near/227588358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html#227588358">(Feb 24 2021 at 12:09)</a>:</h4>
<p>Is there a reason to not cc @rust-lang/rustdoc?</p>



<a name="227596087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/A%20new%20rustbot%20ping%20for%20this%20team%3F/near/227596087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html#227596087">(Feb 24 2021 at 13:18)</a>:</h4>
<p>Hum... It might be useful for people who can't use this alias, otherwise I don't know</p>



<a name="227596850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/A%20new%20rustbot%20ping%20for%20this%20team%3F/near/227596850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html#227596850">(Feb 24 2021 at 13:24)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> <a href="#narrow/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F/near/227588358">said</a>:</p>
<blockquote>
<p>Is there a reason to not cc @rust-lang/rustdoc?</p>
</blockquote>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span>  you mean to simply mention the team in the issue? you're right and it's easier. I'll keep that in mind!</p>



<a name="227597142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/A%20new%20rustbot%20ping%20for%20this%20team%3F/near/227597142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html#227597142">(Feb 24 2021 at 13:26)</a>:</h4>
<blockquote>
<p>Use case: ping the team for issues that have high priority</p>
</blockquote>
<p>Everyone in the Prioritization WG can ping @rust-lang/rustdoc, do you think anyone outside of the rust-lang org would use this?</p>



<a name="227598351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/266220-rustdoc/topic/A%20new%20rustbot%20ping%20for%20this%20team%3F/near/227598351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/266220-rustdoc/topic/A.20new.20rustbot.20ping.20for.20this.20team.3F.html#227598351">(Feb 24 2021 at 13:35)</a>:</h4>
<p>right I meant it as a tool for us, but Mark correctly points out that we dont need another "ping target" when we can simply <code>@mention</code> the team :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>